NatDeq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$\lambda$$a$,$b$. $a$=$_{2}$$b$$,\,$TERMOF\{nat{-}deq{-}aux:ObjectId, 1:l\}$\rangle$